HADAS: tool for analysis and development of sustainable applications

Durante esta Conferencia Internacional, representantes del Gobierno, autoridades locales, instituciones públicas y privadas, vicerrectores de Internacionalización y talento nacional e internacional crearon un ecosistema para fomentar las colaboraciones nacionales e internacionales, así como la presentación de nuevas ideas para resolver retos que afectan a la sociedad. Se trata de un foro único, donde se presentaron trabajos científicos y se otorgaron premios con el fin de fomentar el rigor y la excelencia científica.Universidad de Málaga. Campus de Excelencia Internacional Andalucía Tech

Air traffic control using separation algorithm based on rules of the air

Avoiding collisions is one of the main tasks of air traffic control. The rapid increase in air traffic and its continued growth raises the issue of assisting air traffic controllers in high complex traffic scenarios, where safety and efficiency cannot be compromised. Predictions estimated for the future of several decades¿ state that the current air traffic management system will not be able to withstand this increase in demand for air transport with the required levels of safety, efficiency and sustainability. Air traffic management is changing faster and faster towards more advanced and efficient technology, with the integration of automated support tools to assist air traffic controllers. This document presents a method to enhance the performance and efficiency of the air traffic controllers¿ tasks: monitor and manage all aircraft flying through the airspace sector, performed in a centralised way. The objective is design a separation algorithm based on the general Rules of the Air. To achieve the goal of the project, Remain Well Clear and Closest Point of Approach concepts have been used as other sources of information. The policy algorithm is simulated in a controlled simulation environment. Regarding the results obtained at the end of this project, a reduction of the conflicts of a 99,41% is achieved compared with a situation without applying any instructions. The results of this project also include a sensitive analysis of the tuning of parameters. The performance of the policy model could be upgraded in the future applying Artificial Intelligence, so conflicts can be addressed in a much more efficient and accurate way.Objectius de Desenvolupament Sostenible::9 - Indústria, Innovació i Infraestructur

Run-time Support to Manage Architectural Variability Speci ed with CVL

The execution context in which pervasive systems or mobile computing run changes continuously. Hence, applications for these systems should be adapted at run-time according to the current context. In order to implement a context-aware dynamic reconfiguration service, most approaches usually require to model at design-time both the list of all possible configurations and the plans to switch among them. In this paper we present an alternative approach for the automatic run-time generation of application configurations and the reconfiguration plans. The generated configurations are optimal regarding di erent criteria, such as functionality or resource consumption (e.g. battery or memory). This is achieved by: (1) modelling architectural variability at design-time using Common Variability Language (CVL), and (2) using a genetic algorithm that finds at run-time nearly-optimal configurations using the information provided by the variability model. We also specify a case study and we use it to evaluate our approach, showing that it is efficient and suitable for devices with scarce resources.Campus de Excelencia Internacional Andalucia Tech y proyectos de investigación TIN2008-01942, P09-TIC-5231 and INTER-TRUST FP7-317731

Viabilidad del cultivo de Sardina pilchardus (Peces, Teleósteos): Resultados preliminares de su crecimiento en cautividad hasta los 18 meses

Larvae of Sardina pilchardus were obtained in captivity from fertilized eggs captured in the wild and grown in a 10000-L tank. Isochrysis galbana, Artemia franciscana nauplii and live zooplankton were used as prey during the first two weeks; afterwards, the animals were fed on Artemia metanauplii enriched with Isochrysis galbana. A dry feed (Gemma 0.4 and 0.8) from Skretting S.A. (Burgos, España) was supplied from the 3rd to the 18th month. The total length reached by sardines at one year of life was 162.02±9.49 mm, corresponding to a wet weight of 36.12±10.82 g. Total length of the last survivor individual at 18 months was 182.37 mm. An 18-month experiment of sardine culture is described for the first time, and the growth data reported can help to determine its potential as a candidate for marine aquaculture.Larvas de Sardina pilchardus fueron obtenidas en cautividad a partir de huevos fecundados capturados en el mar y cultivadas en un tanque de 10000 L. Isochrysis galbana, nauplios de Artemia franciscana y zooplancton vivo fueron utilizados como presa durante las dos primeras semanas; a partir de ahí, las sardinas fueron alimentadas con metanauplios de Artemia enriquecidos con la microalga Isochrysis galbana. Los piensos secos (Gemma 0.4 and 0.8) de la compañía Skretting S.A. (Burgos, España) fueron suministrados desde el tercer mes hasta el final de la experiencia (18 meses). La longitud media total alcanzada por las sardinas al año de vida fue de 162.02±9.49 mm, correspondiendo a un peso húmedo de 36.12±10.82 g. La longitud total a los 18 meses fue 182.37 mm. En este trabajo se describe por primera vez un experimento de larga duración (18 meses) de crecimiento de sardina cultivada y los datos aportados pueden contribuir a determinar su interés potencial como candidata para la acuicultura marina

An empirical study of power consumption of Web-based communications in mobile phones

Currently, mobile devices are the most popular pervasive computing device, and they are becoming the primer way for Web access. Energy is a critical resource in such pervasive computing devices, being network communication one of the primary energy consuming operations in mobile apps. Indeed, web-based communication is the most used, but also energy demanding. So, mobile web developers should be aware of how much energy consumes the different web-based communication alternatives. The goal of this paper is to measure and compare the energy consumption of three asynchronous Web-based methods in mobile devices. Our experiments consider three different Web applications models that allow a web server to push data to a browser: Polling, Long Polling and WebSockets. The obtained results are analyzed to get more accurate understanding of the impact in energy consumption of a mobile browser for each of these three methods. The utility of these experiments is to show developers what are the factors that influence the energy consumption when different web-based asynchronous communication is used. With this information mobile web developers could reduce the power consumption of web applications on mobile devices, by selecting the most appropriate method for asynchronous server communication.MUniversidad de Málaga. Campus de Excelencia Internacional Andalucía Tech

Model Driven Evolution of an Agent-Based Home Energy Management System

Advanced smart home appliances and new models of energy tariffs imposed by energy providers pose new challenges in the automation of home energy management. Users need some assistant tool that helps them to make complex decisions with different goals, depending on the current situation. Multi-agent systems have proved to be a suitable technology to develop self-management systems, able to take the most adequate decision under different context-dependent situations, like the home energy management. The heterogeneity of home appliances and also the changes in the energy policies of providers introduce the necessity of explicitly modeling this variability. But, multi-agent systems lack of mechanisms to effectively deal with the different degrees of variability required by these kinds of systems. Software Product Line technologies, including variability models, has been successfully applied to different domains to explicitly model any kind of variability. We have defined a software product line development process that performs a model driven generation of agents embedded in heterogeneous smart objects with different degrees of self-management. However, once deployed, the home energy assistant system has to be able to evolve to self-adapt its decision making or devices to new requirements. So, in this paper we propose a model driven mechanism to automatically manage the evolution of multi-agent systems distributed among several devices.Universidad de Málaga. Campus de Excelencia Internacional Andalucía Tech

Green Security Plugin for Pervasive Computing using the HADAS toolkit

Energy is a critical resource in pervasive computing devices. However, information about energy consumption is not directly accessible through software development environments, making it difficult to reuse the knowledge provided by existing energy-consumption experimental studies. To address this limitation, this paper presents a solution to enrich Android Studio with energy consumption information. We have developed a Green Security Plugin that provides energy-aware information to developers that make use of Android Security API. This plugin has been developed taking advantage of the functionalities provided by the HADAS toolkit. HADAS is a repository of energy consuming concerns in which researchers can store the energy measures obtained during their experimental studies and developers can perform a sustainability analysis to make green design/implementation decisions.Universidad de Málaga. Campus de Excelencia Internacional Andalucía Tec

Release experiments with Octopus vulgaris Cuvier, 1797 in Galicia, NW Spain. First results on recapture rate, distribution and growth.

This paper describes the release experiments carried out with 465 octopus (Octopus vulgaris Cuvier, 1797) with an average weight ranging from 703 to 986 g in three different areas in the Ría of Vigo, Galicia, NW Spain. Thirty-seven individuals were recaptured by fishermen, representing a total recapture rate of 7.9 %. Among these, 80.5 % remained within 5 km of the release point, showing a sedentary behavior. The specific growth rate (SGR) in weight was 0.00902 ± 0.00468; there was not a significant difference between males and females. The exponential growth curve is the best fitting theoretical model. Life expectancy in Ría de Vigo waters was estimated at 18 months for males, and 16 months for females. Throughout the recapture process, males were predominant over females, giving a sex ratio of 1.83:1. Data reported in this paper on recapture rate, sedentary behavior and instantaneous growth rate can be used as reference for future stocking programs in Galicia

Culture viability of Sarddina pilchardus: preliminary results of growth in captivity

Larvae of Sardina pilchardus were obtained in captivity from fertilized eggs captured in the wild, and grown in a 10 000 L tank. Isochrysis galbana , Artemia franciscana nauplii and live zooplankton were used as prey during the first two weeks; afterwards, anim als were fed on artemia metanauplius enriched with Isochrysis galbana . A dry feed (Gemma 0.4 and 0.8) from SKRETTING S.A. (Burgos, España) was supplied from the third to 18th month. The total length reached by sardines at one year of life was 162.02 ± 9. 49 mm, corresponding to a wet weight of 36.12 ± 10.82 g. Total length at 18 months was 182.37 mm. A long experiment (18 ‐ month) of sardine culture is described for the first time, and growth data reported can contribute to determine its potential interest as a candidate for marine aquacultur

Culture viability of Sardine pilchardus (Fish, teleost): Preliminary results of growth in captivity up to 18 months

Larvae of Sardina pilchardus were obtained in captivity from fertilized eggs captured in the wild and grown in a 10000-L tank. Isochrysis galbana, Artemia franciscana nauplii and live zooplankton were used as prey during the first two weeks; afterwards, the animals were fed on Artemia metanauplii enriched with Isochrysis galbana. A dry feed (Gemma 0.4 and 0.8) from Skretting S.A. (Burgos, España) was supplied from the 3rd to the 18th month. The total length reached by sardines at one year of life was 162.02±9.49 mm, corresponding to a wet weight of 36.12±10.82 g. Total length of the last survivor individual at 18 months was 182.37 mm. An 18-month experiment of sardine culture is described for the first time, and the growth data reported can help to determine its potential as a candidate for marine aquaculture.Publicado